Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 6.Ident. | Authors (with country if any) | Title |
---|---|---|
001276 | Frédéric Dadeau [France] ; Kalou Cabrera Castillos [France] ; Yves Ledru [France] ; Taha Triki [France] ; German Vega [France] ; Julien Botella ; Safouan Taha [France] | Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations -- The TASCCC Testing Tool |
001B99 | Taha Triki [France] ; Yves Ledru [France] ; Lydie Du Bousquet [France] ; Frédéric Dadeau [France] ; Julien Botella | Model-Based Filtering of Combinatorial Test Suites |
001F00 | Taha Triki [France] ; Yves Ledru [France] ; Lydie Du Bousquet [France] ; Frédéric Dadeau [France] ; Julien Botella [France] | Nouveaux mécanismes de filtrage de tests basés sur le modèle |
001F13 | Kalou Cabrera Castillos [France] ; Frédéric Dadeau [France] ; Yves Ledru [France] ; Lydie Du Bousquet [France] ; Taha Triki [France] ; Safouan Taha [France] ; Bruno Legeard [France] ; Julien Botella [France] ; Boutheina Chetali [France] ; Bernet Julien ; David Rouillard | TASCCC - Project and Testing Tool (poster and demo) |
003160 | Akram Idani [France] ; Mohamed-Amine Labiadh [France] ; Yves Ledru [France] | Infrastructure dirigee par les modèles pour une intégration adaptable et évolutive de UML et B |
004D44 | Akram Idani [France] ; Yves Ledru [France] ; Didier Bert [France] | Approche formelle pour la dérivation de vues structurelles UML à partir de développements B : Formalisation, preuve et extension pour la prise en compte des raffinements B |
This area was generated with Dilib version V0.6.33. |